Optional { x : Natural }
